finite automata transition diagram